English binary arithmetic: translation to other languages